data Nat = Zero | Succ Nat